The Exhaustive Methylation ofcis- andtrans-Hexahydrocarbazoles

Understanding Exhaustive Pattern Learning

Pattern learning in an important problem in Natural Language Processing (NLP). Some exhaustive pattern learning (EPL) methods Bod (1992) were proved to be flawed Johnson (2002), while similar algorithms Och and Ney (2004) showed great advantages on other tasks, such as machine translation. In this article, we first formalize EPL, and then show that the probability given by an EPL model is const...

Exhaustive generation of gominoes

Experiments on Exhaustive Strengthening

Exhaustification is a strengthening of the denotation of a sentence. Interpreting (1-a) exhaustively with respect to the background predicate came to the party, the hearer concludes that Mary did not come (strong exhaustification).1 The exhaustive interpretation of (1-b) with respect to the background predicate stars on the right side, augments the standard interpretation by concluding that all...

CHR Exhaustive Execution - Revisited

Constraint Handling Rules (CHR) apply guarded rules to rewrite constraints in a constraint store, until a final state is reached in which no more rules are applicable. The rules cannot be retracted, therefore CHR does not backtrack over alternatives. In this paper, a novel source-to-source transformation is proposed, which transforms any given CHR program to one that backtracks over all possibl...

Isomorph-Free Exhaustive Generation

We describe a very general technique for generating families of combinatorial objects without isomorphs. It applies to almost any class of objects for which an inductive construction process exists. In one form of our technique, no explicit isomorphism testing is required. In the other form, isomorph testing is restricted to within small subsets of the entire set of objects. A variety of differ...